🌸 Bloom Variants

Probabilistic Structures, False Positive Rates, Cuckoo Filters, Counting Filters

LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·12h·
Discuss: DEV
📏Code Metrics
News for September 2025
ptreview.sublinear.info·2d
🧪Property-Based Testing
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·12h
🎯Performance Proofs
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Cactus Language • Semantics 1
inquiryintoinquiry.com·40m
🔢Denotational Semantics
A grand week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
How we trained an ML model to detect DLL hijacking
securelist.com·8h
🔗Binary Similarity
Property-based testing of batch-invariant operations
mmaaz.ca·17h·
Discuss: Hacker News
🧪Property-Based Testing
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·10h·
Discuss: Hacker News
💨Cache Optimization
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·12h
🔲Cellular Automata
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·10h
📏Code Metrics
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·12h
🔧Hardware Verification
A Global Mining Dataset
tech.marksblogg.com·5h·
Discuss: Hacker News
📦METS Containers
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·4h
🔐Cryptographic Archaeology
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·12h
📊Learned Metrics
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·12h
🧮Kolmogorov Complexity
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·55m·
Discuss: Hacker News
💻Local LLMs
Bulk operations in Boost.Bloom
bannalia.blogspot.com·2d·
Discuss: bannalia.blogspot.com, Hacker News
🌸Bloom Filters